package almm;

import org.joda.time.Instant;

public abstract class TimeInstant { // t
	protected Instant timeInstant;

	public Instant getTimeInstant() {
		return timeInstant;
	}

	protected abstract TimeInstant next(ControlDecision u, ProperState x) throws Exception;
}
